#include <string.h>
#include <stdio.h>
#include <stdlib.h>
#include <time.h>
#include "galois.h"
#include "galois_add.h"
#include <sys/time.h>

main(int argc, char **argv)
{
	int i, j, k;
	if (argc != 4) { fprintf(stderr, "usage: galmult a b w\n"); exit(1); }

	i = atoi(argv[1]);
	j = atoi(argv[2]);
	k = atoi(argv[3]);

	if (k < 1 || k > 32) exit(1);

	printf("%d\n", galois_single_multiply(i, j, k));

}
